34 résultats
Filtres
- Auteurs
- Berger Alexandre 7
- Berger Alexandre-Quentin 1
- Casteigts Arnaud 12
- Chopard Bastien 4
- Giovanna Di Marzo Serugendo 5
- Pulfer Brian 5
- Types de document
- conference 5
- cours 29
Collections
Complexité et calculabilité / exercicesDocuments
Complexité et calculabilité / exercices |
Complexité et calculabilité / exercices |
Complexité et calculabilité / exercices |
Complexité et calculabilité / exercices |
Complexité et calculabilité / exercices |
Complexité et calculabilité / exercices |
Complexité et calculabilité / exercices |
Séance d'exercices (A. Berger) |
Cours 11 et 12 : Exemples de réductions (11) et Théorème de Cook-Levin (12) |
Cours 10 : NP-complétude |
Cours 9 : Classe NP |
Cours 8 : Relations connues; non-déterminisme; théorème de Savitch |
Cours 7 - Classes de complexité basiques |
Complexité et calculabilité / exercices (révision) |
Cours 6 : Introduction à la complexité algorithmique |
Cours 5 : Théorème de Rice (et degrés de Turing) |
Cours 4 : Diagonalisation et indécidabilité |
Cours 3 : Décidable, reconnaissable, simulation |
Cours 2 : Rappels de langages formels |
Algorithmique / exercices |
Algorithmique / exercices |
Algorithmique / exercices |
Algorithmique / exercices |
Algorithmique / exercices |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Digital Innovators - IA et Aspects légaux |
Digital Innovators - Chatbot -Heamophilia |
Digital Innovators - HestIA |
Digital Innovators - Blockchain for sustainability |
Digital Innovators - Disentangling Linguistic Intelligence |